AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过立方表示形式的布尔函数的素数和基本素数蕴涵
Saurabh Rawat; Anushree Sah;
机译:具有长素数含义的布尔函数
机译:用于识别和选择多输出布尔函数的质数蕴涵的算法
机译:二进制筛选法的布尔素蕴涵
机译:一个脱离立方体,扩展了单独确定单输出布尔函数的基本主要血管性的问题的方法
机译:关于与函数π(n)有关的素数分布和素数定理的讨论
机译:在总理而不是初免 - 加强质粒DNa疫苗激活树突状细胞为TLR9重要作用并从致命病毒感染保护
机译:计算对称布尔函数的最大素数的快速算法(计算复杂度和相关主题研究)
机译:多值逻辑函数最小化中的素数和非素数蕴涵
机译:一种自动生成蕴含素函数的隐式表示的方法。
机译:自动生成函数的素数蕴含表示的方法
机译:自动产生函数的素数蕴含表示的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。